Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
881	CS 70 SPRING 2008 — DISCUSSION #2 LUQMAN HODGKINSON, AARON KLEINMAN, MIN XU 1. Administrivia • Office Hours have been decided. Please go if you have any questions about the material covered, trouble about the homewor Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:43 3K Logic Integer sequences Mathematics Fibonacci number Mathematical induction
882	June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-23 06:51:18 Mathematics Sequent calculus Intuitionistic logic Cut-elimination theorem Interpretation Sequent Structural rule Propositional calculus Linear logic Logic Mathematical logic Proof theory
883	Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-10-09 11:42:35 Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic
884	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Topics in Logic: Applications of Logic in Philosophy” (Proof Theory) Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:42:54 Mathematical logic Natural deduction Cut-elimination theorem Formal proof Mathematical proof Philosophy of mathematics Sequent calculus Sequent Intuitionistic logic Logic Proof theory Mathematics
885	A Survey of Residuated Lattices P. Jipsen and C. Tsinakis Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid ope Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2003-04-01 18:18:05 Algebraic structures Lattice theory Fuzzy logic Algebraic logic Mathematical logic Residuated lattice Heyting algebra Relation algebra Lattice Abstract algebra Mathematics Logic
886	Fall 2014 BBM 103: Introduction to Programming Laboratory I PROGRAMMING ASSIGNMENT 4 Subject : Recursions Due Date : Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-11-27 08:51:11 Mathematical logic Theoretical computer science Verbal arithmetic Drive letter assignment Logic Games Mechanical puzzles Puzzles Sudoku algorithms Logic puzzles Mathematics Algorithm
887	On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger Add to Reading List Source URL: www.loria.fr Language: English - Date: 2004-11-15 14:07:24 Deduction Propositional calculus Natural deduction Cut-elimination theorem Entailment Sequent calculus Linear logic Curry–Howard correspondence Logic Mathematical logic Proof theory
888	Elastic forces on nematic point defects Eugene C. Gartland, Jr. Department of Mathematical Sciences, Kent State University, P.O. Box 5190, Kent, OHUSA Andr´e M. Sonnet and Epifanio G. Virga Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2002-03-09 22:23:07 Philosophy of mind Semantics Logic Viscosity Physics Metaphilosophy Interpretation Model theory Philosophy of language
889	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34 Mathematics Natural deduction Cut-elimination theorem Propositional calculus Sequent calculus Combinatory logic Linear logic Closed and exact differential forms Admissible rule Mathematical logic Logic Proof theory
890	The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2008-10-27 16:48:35 Philosophers of mathematics Analytic philosophers Mathematical logic Epistemology Foundations of mathematics Paul Benacerraf Intuitionism Gottlob Frege Logicism Mathematics Philosophy Philosophy of mathematics